package de.blitzcoder.collide.gui;

/**
 *
 * @author blitzcoder
 */
public interface DocumentManagerListener {
    public void documentAdded(Document doc);
    public void documentRemoved(Document doc);
    public void documentSelected(Document doc);
}
